A Conjectured Definite Integral (A. H. Nuttall)
نویسندگان
چکیده
منابع مشابه
VSDITLU: a verifiable symbolic definite integral table look-up
We present a verifiable symbolic definite integral table look-up: a system which matches a query, comprising a definite integral with parameters and side conditions, against an entry in a verifiable table and uses a call to a library of facts about the reals in the theorem prover PVS to aid in the transformation of the table entry into an answer. Our system is able to obtain correct answers in ...
متن کامل7 A Conjectured R - Matrix
A new spectral parameter independent R-matrix (that depends on all of the dynamical variables) is proposed for the elliptic Calogero-Moser models. Necessary and sufficient conditions for this R-matrix to exist reduce to an equality between determinants of matrices involving elliptic functions. The needed identity appears new and is still unproven in full generality: we present it as a conjecture.
متن کاملDefinite Integrals using Orthogonality and Integral Transforms
We obtain definite integrals for products of associated Legendre functions with Bessel functions, associated Legendre functions, and Chebyshev polynomials of the first kind using orthogonality and integral transforms.
متن کاملScalar Multiple of Riemann Definite Integral
We adopt the following rules: r, x, y are real numbers, i, j are natural numbers, and p is a finite sequence of elements of R. The following proposition is true (1) For every closed-interval subset A of R and for every x holds x ∈ A iff inf A ¬ x and x ¬ supA. Let I1 be a finite sequence of elements of R. We say that I1 is non-decreasing if and only if the condition (Def. 1) is satisfied. (Def....
متن کاملOn a Conjectured Formula for Quiver Varieties
In A.S. Buch and W. Fulton [Invent. Math. 135 (1999), 665–687] a formula for the cohomology class of a quiver variety is proved. This formula writes the cohomology class of a quiver variety as a linear combination of products of Schur polynomials. In the same paper it is conjectured that all of the coefficients in this linear combination are non-negative, and given by a generalized Littlewood-R...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Review
سال: 1986
ISSN: 0036-1445,1095-7200
DOI: 10.1137/1028165